Transaction verification - PDFSEARCH.IO - Document Search Engine

Transaction verification
Results: 42

#	Item
31	Automatic Atomicity Verification for Clients of Concurrent Data Structures Mohsen Lesani, Todd Millstein, and Jens Palsberg University of California, Los Angeles {lesani, todd, palsberg}@cs.ucla.edu Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-05-14 20:27:08 Concurrency control Transaction processing Concurrent computing Databases Linearizability Atomicity Concurrent data structure Mereology Serializability Computing Computer programming Data management
32	Payment & Financial Transaction Authorization for Vendors/Customers PLEASE PRINT CLEARLY Identifications: (Required for Notification and Verification Purposes) First Name Add to Reading List Source URL: www.fin.gov.nt.ca Language: English - Date: 2013-12-10 12:45:56 Business Ethics Cheque Numismatics Transactional account Internet privacy Bank Privacy Deh Cho Bridge Payment systems Banking Finance
33	DHS Medicaid Online (DMO) Web-Based Eligibility/Enrollment Verification Application Walk-Through Add to Reading List Source URL: www.med-quest.us Language: English - Date: 2012-01-27 16:17:56 Presidency of Lyndon B. Johnson Password User Transaction authentication number Internet privacy Computing Computer security Security Federal assistance in the United States Healthcare reform in the United States Medicaid
34	SAIS Student Database Transaction Requirements: Integrity Checking Processes FY[removed]SAIS Student Database Transaction Requirements: Integrity Checking Processes FY07 SAIS Student Database Transaction Requirements: I Add to Reading List Source URL: www.azed.gov Language: English - Date: 2011-08-22 16:40:43 Systems engineering Quality Validation Verification and validation Science Management Evaluation Pharmaceutical industry Validity Data quality
35	SAIS Student Database Transaction Requirements: Integrity Checking Processes SAIS Student Database Transaction Requirements: Integrity Checking Processes SAIS Student Database Transaction Requirements: Integrity Chec Add to Reading List Source URL: www.azed.gov Language: English - Date: 2011-08-22 16:40:43 Food safety Quality management Verification and validation Validation Science Philosophy of science Evaluation Pharmaceutical industry Validity Systems engineering
36	SAIS Student Database Transaction Requirements: Integrity Checking Processes FY[removed]SAIS Student Database Transaction Requirements: Integrity Checking Processes FY06 SAIS Student Database Transaction Requirements: I Add to Reading List Source URL: www.azed.gov Language: English - Date: 2011-08-22 16:40:43 Systems engineering Quality Validation Verification and validation Science Management Evaluation Pharmaceutical industry Validity Data quality
37	Accellera Systems Initiative Acquires Open Core Protocol Standard and Infrastructure to Strengthen Interoperability in Electronic Standards Development Napa, Calif., USA, 15 October[removed]Accellera Systems Initiative (A Add to Reading List Source URL: www.ocpip.org Language: English - Date: 2013-10-15 11:21:21 Accellera Hardware verification languages Hardware description languages Open Core Protocol International Partnership Association Open Core Protocol SPIRIT Consortium Transaction-level modeling SystemC IP-XACT Electronic engineering Electronic design automation Standards organizations
38	PINAPA: An Extraction Tool for SystemC Descriptions of Systems-on-a-Chip ∗† Matthieu Moy [removed] Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2005-09-08 19:36:32 Logic design Electronic design automation SystemC Transaction-level modeling NCSim CPU design E Verilog VHDL Electronic engineering Hardware description languages Hardware verification languages
39	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
40	System Level Design Using the SystemC Modeling Platform 1 Joachim Gerlach, University of Tübingen, Germany [removed] Add to Reading List Source URL: www.ee.ryerson.ca Language: English - Date: 2004-01-08 11:59:32 Hardware verification languages SystemC Transaction-level modeling Catapult C Electronic engineering Electronic design automation Hardware description languages

UPDATE